Propositions as premises of syllogisms in medieval logic.

JOURNAL ARTICLE published 1 October 1975 in Notre Dame Journal of Formal Logic

Authors: Jorge J. E. Gracia

Prime spectrum of a tetravalent modal algebra.

JOURNAL ARTICLE published 1 July 1983 in Notre Dame Journal of Formal Logic

Authors: Isabel Loureiro

An ambiguity in modal logic.

JOURNAL ARTICLE published 1 July 1978 in Notre Dame Journal of Formal Logic

Authors: John Williamson

The world, the facts, and primary logic.

JOURNAL ARTICLE published 1 March 1993 in Notre Dame Journal of Formal Logic

Authors: Fred Sommers

Lewis' postulate of existence disarmed.

JOURNAL ARTICLE published 1 January 1980 in Notre Dame Journal of Formal Logic

Authors: Robert W. Murungi

Decomposable orthologics.

JOURNAL ARTICLE published 1 July 1975 in Notre Dame Journal of Formal Logic

Authors: Barbara Jeffcott

Semantics for $S4.2$.

JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic

Authors: Allen Hazen

Implication connectives in orthomodular lattices.

JOURNAL ARTICLE published 1 July 1975 in Notre Dame Journal of Formal Logic

Authors: L. Herman | E. L. Marsden | R. Piziak

A note on reflexiveness.

JOURNAL ARTICLE published 1 October 1975 in Notre Dame Journal of Formal Logic

Authors: David Marans

Universal pairs of regressive isols.

JOURNAL ARTICLE published 1 July 1975 in Notre Dame Journal of Formal Logic

Authors: Judith Gersting

The cosubstitution condition.

JOURNAL ARTICLE published 1 January 1973 in Notre Dame Journal of Formal Logic

Authors: J. C. Muzio

Some remarks on Quine's arguments against modal logic.

JOURNAL ARTICLE published 1 October 1978 in Notre Dame Journal of Formal Logic

Authors: John Robert Baker

Solution to the problem concerning the Boolean bases for cylindric algebras.

JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic

Authors: Bolesław Sobociński

Incompleteness theorem via weak definability of truth: a short proof.

JOURNAL ARTICLE published 1 July 1973 in Notre Dame Journal of Formal Logic

Authors: Giorgio Germano

A new axiomatization of modal system ${rm K}1.2$.

JOURNAL ARTICLE published 1 July 1973 in Notre Dame Journal of Formal Logic

Authors: Bolesław Sobociński

Two axiom systems for relation algebras.

JOURNAL ARTICLE published 1 October 1979 in Notre Dame Journal of Formal Logic

Authors: Chris Brink

Entailment and proof.

JOURNAL ARTICLE published 1 October 1979 in Notre Dame Journal of Formal Logic

Authors: Hin Chung Hung

On generating the finitely satisfiable formulas.

JOURNAL ARTICLE published 1 July 1973 in Notre Dame Journal of Formal Logic

Authors: Arthur M. Bullock | Hubert H. Schneider

More logics without tautologies.

JOURNAL ARTICLE published 1 October 1978 in Notre Dame Journal of Formal Logic

Authors: Leo Simons

Completeness of relevant quantification theories.

JOURNAL ARTICLE published 1 January 1974 in Notre Dame Journal of Formal Logic

Authors: J. Michael Dunn | Hugues Leblanc | Robert K. Meyer